home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
CD ROM Paradise Collection 4
/
CD ROM Paradise Collection 4 1995 Nov.iso
/
science
/
laame101.zip
/
ES46.TXT
< prev
next >
Wrap
Text File
|
1993-10-10
|
3KB
|
134 lines
------------------------------------------------------------------------------
* *
* Laboratorio di Analisi Algoritmi di Minimizzazione Espressioni Booleane *
* *
------------------------------------------------------------------------------
Giorno: 10-10-1993
Funzione: Σ8 (29,250,123,48,136,186,46,66,88,21,184,175,50,18,86,149,213,229,
6,68,252,158,135,11,233,111,102,53,2,89,251,58,237,243,161,37,
236,121,69,118,24,209,23,120,202,116,137,139,232,247,20,228,
177,35,124,40,17,39,82,194,13,32,169,150,203,245,59,151,47,217,
28,43,10,34,171,168,221,5,185,147,106,204,255,80,26,131,207,
146,16,70,148,223,198,167,115,143,224,117,163,55,77,130,235,
205,27,234,31,162,81,145,98,42,110,219,71,188,60,105,125,97,
142,195,173,64,180,57,216,49,215,128,62,95,87,249,138,127,0,85,
160,182,227,4,65,14,109,15,238,208,212,74,67,191,152,72,126,
183,45,172,187,200,7,199,197,174,3,75,19,231,129,84,12,76,201,
248,165,226,107,112,181,30,141,239,38,119,214,8,170,73,91,176,
132,54,206,41,108,166,101,140,103,90,225,134,36,144,196,96,92,
230,94,79,113,254,218,9,114,1,210,179,192,104,211,190,44,51,
157,155,99,242,63,83,220,133,78,189,222,240,22,33,52,193)
Numero di variabili: 8
Numero di mintermini: 240
Stato dell'elaborazione: TERMINATA
Generazione dell'input: CASUALE
Seme: 23
Tempo totale di elaborazione: 0:0:19
--------------------------
* FASE A *
--------------------------
Tempo di elaborazione: 0:0:17
Numero implicanti primi: 82
Implicanti primi determinati:
BCfGh
AbdGH
aBcFG
AbcdG
aBcdG
AbceG
aCfGh
aBfGh
BcdfH
aBcdf
Abcdf
Abcef
EFGH
BEFG
CFGH
BdEG
AbFG
bFGH
bEFH
aFGH
ABCf
ABfH
CfgH
BfgH
BEfg
BdEf
AdfH
AbFh
beGH
beFG
AefH
bEFg
abFH
AcFh
BcFh
abFg
aBce
aceF
aceH
Bceg
Abch
efgH
abeF
abeH
befH
Bcfg
beFh
ceFh
aBch
cefH
abeg
cefg
aceg
befg
AEF
ABE
ABD
ACH
ABg
ACg
AEg
AdE
bCH
bCF
AEh
BEh
Afg
Efh
Fgh
Egh
Agh
bCg
abD
abC
cgh
bgh
DF
CE
CD
Dg
De
Dh
--------------------------
* FASE B *
--------------------------
Fast Quine sx
Tempo di elaborazione: 0:0:2
Numero di forme prime paragonate: 1
Numero di tabelle cicliche esaminate: 10
Numero di implicanti soluzione: 25
SOLUZIONE migliore determinata tra le forme esaminate:
Efh + Fgh + abD + CE + De + BCfGh + abC + AbdGH + aBcFG + BcdfH + aBce + ABg +
Abcdf + EFGH + CFGH + AbFG + bEFH + ABfH + AcFh + ACg + aceF + aceH + aceg +
Dg + efgH